#include <stdio.h>

void main(){
    float dollar;
    float tran[12];
    scanf("%f\n",&dollar);
    
    float max=0.0;
    scanf("%f %f %f %f %f %f %f %f %f %f %f %f",&tran[0],&tran[1],&tran[2],&tran[3],&tran[4],&tran[5],&tran[6],&tran[7],&tran[8],&tran[9],&tran[10],&tran[11]);
    for (int i=0; i<12; i++){
        if (tran[i]>max){max=tran[i];}}
    float money=dollar*max;
    printf("%.2f",money);
}